load(key).

discretize(entropy).
use_package(hypspc).
minimal_cases(2).                      %  Número de ejemplos cubiertos por cada hoja como mínimo
accuracy(0.80).
random_test_set(0.1).


classes([pos,neg]).
predict(example(+ex,-clss)).


% C0
%rmode(1: a1(+Ex, #Number)).
rmode(1: a1(+Ex, -Number)).

%rmode(1: a2(+Ex, #Number)).
rmode(1: a2(+Ex, -Number)).

%rmode(1: a3(+Ex, #Number)).
rmode(1: a3(+Ex, -Number)).

%rmode(1: a4(+Ex, #Number)).
rmode(1: a4(+Ex, -Number)).


%rmode(1: a5(+Ex, #Number)).
rmode(1: a5(+Ex, -Number)).

%rmode(1: a6(+Ex, #Number)).
rmode(1: a6(+Ex, -Number)).


%rmode(1: a7(+Ex, #Number)).
rmode(1: a7(+Ex, -Number)).


%rmode(1: a8(+Ex, #Number)).
rmode(1: a8(+Ex, -Number)).


%rmode(1: a9(+Ex, #Number)).
rmode(1: a9(+Ex, -Number)).


%rmode(1: a10(+Ex, #Number)).
rmode(1: a10(+Ex, -Number)).


%rmode(1: a11(+Ex, #Number)).
rmode(1: a11(+Ex, -Number)).


%rmode(1: a12(+Ex, #Number)).
rmode(1: a12(+Ex, -Number)).


%rmode(1: a13(+Ex, #Number)).
rmode(1: a13(+Ex, -Number)).


%rmode(1: a14(+Ex, #Number)).
rmode(1: a14(+Ex, -Number)).



typed_language(yes).
type(a1(ex, number)).
type(a1(ex, number)).

type(a2(ex, number)).
type(a2(ex, number)).

type(a3(ex, number)).
type(a3(ex, number)).

type(a4(ex, number)).
type(a4(ex, number)).


type(a5(ex, number)).
type(a5(ex, number)).

type(a6(ex, number)).
type(a6(ex, number)).


type(a7(ex, number)).
type(a7(ex, number)).


type(a8(ex, number)).
type(a8(ex, number)).


type(a9(ex, number)).
type(a9(ex, number)).


type(a10(ex, number)).
type(a10(ex, number)).


type(a11(ex, number)).
type(a11(ex, number)).


type(a12(ex, number)).
type(a12(ex, number)).


type(a13(ex, number)).
type(a13(ex, number)).


type(a14(ex, number)).
type(a14(ex, number)).

type(number =< number).
type(number >= number).
%type(number = number).



auto_lookahead(a2(Ex,Number),[Number]).
auto_lookahead(a3(Ex,Number),[Number]).
auto_lookahead(a7(Ex,Number),[Number]).
auto_lookahead(a13(Ex,Number),[Number]).
auto_lookahead(a14(Ex,Number),[Number]).




discretize(entropy).

discretization(bounds(5)).

to_be_discretized(a2(Ex,Number),[Number]).
rmode(1: #(C:threshold(a2(_, Number), [Number], C), +Number >= C)).
rmode(1: #(C:threshold(a2(_, Number), [Number], C), +Number =< C)).
%rmode(1: #(C:threshold(a2(_, Number), [Number], C), +Number = C)).

to_be_discretized(a3(Ex,Number),[Number]).
rmode(1: #(C:threshold(a3(_, Number), [Number], C), +Number >= C)).
rmode(1: #(C:threshold(a3(_, Number), [Number], C),+Number =< C)).
%rmode(1: #(C:threshold(a3(_, Number), [Number], C),+Number = C)).

to_be_discretized(a7(Ex,Number),[Number]).
rmode(1: #(C:threshold(a7(_, Number), [Number], C), +Number >= C)).
rmode(1: #(C:threshold(a7(_, Number), [Number], C),+Number =< C)).
%rmode(1: #(C:threshold(a7(_, Number), [Number], C),+Number = C)).


to_be_discretized(a13(Ex,Number),[Number]).
rmode(1: #(C:threshold(a13(_, Number), [Number], C), +Number >= C)).
rmode(1: #(C:threshold(a13(_, Number), [Number], C),+Number =< C)).
%rmode(1: #(C:threshold(a13(_, Number), [Number], C),+Number = C)).

to_be_discretized(a14(Ex,Number),[Number]).
rmode(1: #(C:threshold(a14(_, Number), [Number], C), +Number >= C)).
rmode(1: #(C:threshold(a14(_, Number), [Number], C),+Number =< C)).
%rmode(1: #(C:threshold(a14(_, Number), [Number], C),+Number = C)).





